The Wiener–Khinchin theorem (also known as the Wiener–Khintchine theorem and sometimes as the Wiener–Khinchin–Einstein theorem or the Khinchin–Kolmogorov theorem) states that the power spectral density of a wide–sense stationary random process is the Fourier transform of the corresponding autocorrelation function.[1][2][3][4]
Contents |
Norbert Wiener first published the result in 1930, Khinchin independently later in 1934. Einstein had anticipated the idea in a brief two-page memo in 1914.[5]
For the continuous case:
where
is the autocorrelation function (also called autocovariance) defined in terms of statistical expectation, and where is the power spectral density of the function . Note that the autocorrelation function is defined in terms of the expected value of a product, and that the Fourier transform of does not exist in general, because stationary random functions are not square integrable.
The asterisk denotes complex conjugate, and can be omitted if the random process is real-valued.
For the discrete case:
where
and where is the power spectral density of the function with discrete values . Being a sampled and discrete-time sequence, the spectral density is periodic in the frequency domain.
The theorem is useful for analyzing linear time-invariant systems, LTI systems, when the inputs and outputs are not square integrable, so their Fourier transforms do not exist. A corollary is that the Fourier transform of the autocorrelation function of the output of an LTI system is equal to the product of the Fourier transform of the autocorrelation function of the input of the system times the squared magnitude of the Fourier transform of the system impulse response.[6] This works even when the Fourier transforms of the input and output signals do not exist because these signals are not square integrable, so the system inputs and outputs cannot be directly related by the Fourier transform of the impulse response.
Since the Fourier transform of the autocorrelation function of a signal is the power spectrum of the signal, this corollary is equivalent to saying that the power spectrum of the output is equal to the power spectrum of the input times the power transfer function.
This corollary is used in the parametric method for power spectrum estimation.
By the definitions involving infinite integrals in the articles on spectral density and autocorrelation, the Wiener–Khinchin theorem is a simple Fourier transform pair, trivially provable for any square integrable function, i.e. for functions whose Fourier transforms exist. More usefully, and historically, the theorem applies to wide-sense-stationary random processes, signals whose Fourier transforms do not exist, using the definition of autocorrelation function in terms of expected value rather than an infinite integral. This trivialization of the Wiener–Khinchin theorem is commonplace in modern technical literature, and obscures the contributions of Aleksandr Yakovlevich Khinchin, Norbert Wiener, and Andrey Kolmogorov.